mathematische Beweismethode